W. Rautenberg, "A Concise Introduction to Mathmetical Logic"